Section: Dissemination

Promoting Scientific Activities

• Albert Cohen was program chair of the ARCS 2015 conference:

  http://arcs2014.iti.uni-luebeck.de

• Timothy Bourke was a member of the PC of EMSOFT 2015, Modelica 2015, and RTAS 2016.

• Albert Cohen was a member of the PC of PLDI 2016, PACT 2016, 2015; IPDPS 2015; ICPP 2015 and of the ERC of PLDI 2015 (ranked A+); ASPLOS 2016 (ranked A+); ISCA 2016 (ranked A+);

• Marc Pouzet was a member of the PC of DAC 2015; EOOLT 2015; FLOPS 2015; and two french speaking conferences AFADL 2015 and MSR 2015. Member of the jury for “Prix de these GPL” (PhD thesis award in software engineering).

• Francesco Zappa Nardelli is a member of the PC of POPL 2016 and of the ERC of ECOOP 2015.

• Timothy Bourke was a reviewer for DAC 2015 (Design Automation Conference), DATE 2015 (Design, Automation and Test in Europe), ETAPS/FASE 2015 (Fundamental Approaches to Software Engineering), FLOPS 2015 (Symposium on Functional and Logic Programming), JFLA 2015 (Journées Francophones des Langages Applicatifs), and NFM 2015 (NASA Formal Methods Symposium).

• Albert Cohen is an Associate Editor of the ACM Transactions on Architecture and Code Optimization (TACO), since 2013.

• Albert Cohen is on the editorial board of the Int. Journal on Parallel Programming (IJPP, Springer), since 2011.

• February, T. Bourke presented “Exploiting and extending synchronous languages for hybrid modelling” at the MODPROD Workshop in Linköping, Sweden.

• February, T. Bourke presented “A synchronous approach to designing and compiling hybrid modelling languages” in the Chalmer's Functional Programming group in Gothenburg, Sweden.

• February, T. Bourke presented “Mechanization of a mesh network routing protocol and the proof of its loop freedom in Isabelle/HOL” in the Chalmer's Formal Methods group in Gothenburg, Sweden.

• September, T. Bourke participated in the Modelica conference in Versailles, France.

• October, T. Bourke participated in the Embedded Systems Week conferences in Amsterdam, The Netherlands.

• October, T. Bourke presented “Some recent improvements in modelling Loosely Time-Triggered Architectures” at the Journées Nationales GEOCAL-LAC-LTP 2015 in Nancy, France.

• November, T. Bourke presented “Zélus : un langage synchrone avec équations différentielles ordinaires” in the tool session of the 10th colloquium on the Modélisation des Systèmes Réactifs (MSR 2015) in Nancy, France.

• December, T. Bourke presented “Verification of code generation for a Lustrish language” at the SYNCHRON workshop in Kiel, Germany.

• December, T. Bourke presented “Showing safety properties of a layered reactive model in Isabelle/HOL” at the University of Iowa, USA.

• December, T. Bourke presented “Towards the verified compilation of Lustre” at the University of Iowa, USA.

• October, M. Pouzet gave an invited talk at the EMSOFT'2015 conference, in Amsterdam “Building a Hybrid Systems Modeler from Synchronous Language Principles”.

• April, F. Zappa Nardelli gave a Keynote at the EuroLLVM international conference, London, UK.

• July, F. Zappa Nardelli gave a Keynote at the TAP international conference, L'Aquila, Italy.